Merge branch 'popup-controls-hiding' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Tue, 28 Apr 2020 22:41:16 +0000 (22:41 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Tue, 28 Apr 2020 22:41:16 +0000 (22:41 +0000)
video: Don't hide the controls while the popup is shown

See merge request GNOME/gtk!1787


Trivial merge